% \instituicao{Federal University of Rio Grande do Norte \par 
% 			 %Exact Sciences Center\par
% 			 Department of Informatics and Applied Mathematics\par 
% 			 Computer Science Post-Graduate Program}


 
%\titulo{Uma Proposta de Metodologia para o Desenvolvimento de Aplicações
%Web Baseadas em PEWS}
  
\titulo{A Methodology for Building Reliable Service Based 
Applications} 

 
\orientador[Advisor:\vspace{1mm}]{Prof. Dr. Martin Alejandro Musicante
(UFRN-Brazil)}
\coorientador[Co-Advisor:\vspace{1mm}]{Prof. Dra. Genoveva Vargas-Solar
(CNRS-France)}
      
\autor{Pl\'acido Ant\^onio de Souza Neto} 


\comentario{Thesis submitted to the Systems and Computation Graduate Program
(PPgSC), in the Computer Science and Applied Mathematics Department (DIMAp) of
the Federal University of Rio Grande do Norte (UFRN), as part of the
requirements to the degree of Doctor of Computer Science}

 \begin{figure}
\centering 
\includegraphics[width=0.75\textwidth]{usr/figs/ufrn.pdf}
%\caption{ATL Model to Model Transformation in $\pi$SOD-M.}
%\label{fig:modelTomodelTransfomation}
\end{figure} 

% \instituicao{Federal University of Rio Grande do Norte \par 
% 			 %Exact Sciences Center\par
% 			 Computer Science and Applied Mathematics Department\par 
% 			 Systems and Computation Graduate Program \par
% 			 Doctorate in Computer Science}

%  
\local{Natal-RN / Brazil}
\data{2012} 
 
\capa   
\folhaderosto
    